Complexity of Two Dimensional Sandpiles
نویسندگان
چکیده
We prove that in a two-dimensional Sandpile automaton, embedded in a regular infinite planar cellular space, it is impossible to cross information, if the bit of information is the presence (or absence) of an avalanche. This proves that it is impossible to embed arbitrary logical circuits in a Sandpile through quiescent configurations. Our result applies also for the non-planar neighborhood of Moore. Nevertheless, we also show that it is possible to compute logical circuits with a two-dimensional Sandpile, if a neighborhood of radius two is used in Z2; crossing information becomes possible in that case, and we conclude that for this neighborhood the Sandpile is P-complete and Turing universal.
منابع مشابه
Computational Complexity of Avalanches in the Kadanoff Two-dimensional Sandpile Model
In this paper we prove that the avalanche problem for Kadanoff sandpile model (KSPM) is P-complete for two-dimensions. Our proof is based on a reduction from the monotone circuit value problem by building logic gates and wires which work with configurations in KSPM. The proof is also related to the known prediction problem for sandpile which is in NC for one-dimensional sandpiles and is P-compl...
متن کاملComputational Complexity of Avalanches in the Kadanoff Two-dimensional Sandpile Model
In this paper we prove that the avalanche problem for the Kadanoff sandpile model (KSPM) is P-complete for two-dimensions. Our proof is based on a reduction from the monotone circuit value problem by building logic gates and wires which work with configurations in KSPM. The proof is also related to the known prediction problem for sandpile which is in NC for one-dimensional sandpiles and is P-c...
متن کاملTwo Notes on the Computational Complexity of One-Dimensional Sandpiles
We prove that the one-dimensional sandpile prediction problem is in AC. The previously best known upper bound on the AC-scale was AC. We also prove that it is not in AC1− for any constant
متن کاملComputational Complexity of the Avalanche Problem on One Dimensional Kadanoff Sandpiles
In this paper we prove that the general avalanche problem AP is in NC for the Kadanoff sandpile model in one dimension, answering an open problem of [2]. Thus adding one more item to the (slowly) growing list of dimension sensitive problems since in higher dimensions the problem is P-complete (for monotone sandpiles).
متن کامل